well-defined problem